Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526 (Lecture Notes in Computer Science)
by Márcio Cornélio, Bill Roscoe
ISBN 13: 9783319294728
Format: Paperback (216 pages) Publisher: Springer Published: 03 Feb 2016
Save for later